Словарь по логике - логический синтаксис

С точки зрения синтаксиса, формальная система представляет собой набор исходных символов, из которых по определенным правилам могут быть построены разнообразные формулы, из которых выделяется класс правильно построенных формул. Правила построения формул называются правилами образования. К ним добавляются правила преобразования: аксиомы и правила получения одних формул из других. Правила образования и преобразования формул относятся к числу синтаксических правил. Синтаксические свойства формальных систем выражаются в таких понятиях, как "доказательство", "непротиворечивость системы аксиом", "полнота", "независимость аксиом" и т. п. В качестве языка, на котором описываются синтаксические свойства формальных систем, используется фрагмент обычного естественного языка. Однако он, в свою очередь, также может быть формализован.